<form method="get">
  <input type="text" name="show" value="goto" onfocus="this.value = ''" style="font: 10pt 'lucida grande'" accesskey="g">
</form>
<ul>
  <!-- print out the category outline here eventually -->
  <li><a href="database.xml">db:</a> <?php echo dbsize() ?>kb</li>
  <li><a href="?show=_allpages">pages:</a> <?php echo count($db->pages->page); ?></li>
  <li><a href="?category=_allcategories">Categories</a></li>
  <li><a href="?special=links">links</a></li>
  <li><a href="applet/">Visualize</a></li>
</ul>